منابع مشابه
Combining Temporal Logic Systems
This paper is a continuation of the work started in FG92] on combining temporal logics. In this work, four combination methods are described and studied with respect to the transference of logical properties from the component one-dimensional temporal logics to the resulting two-dimensional temporal logic. Three basic logical properties are analysed, namely soundness, completeness and decidabil...
متن کاملTemporal Logic in Information Systems
Temporal logic is obtained by adding temporal connectives to a logic language. Explicit references to time are hidden inside the temporal connectives. Di erent variants of temporal logic use di erent sets of such connectives. In this chapter, we survey the fundamental varieties of temporal logic and describe their applications in information systems. Several features of temporal logic make it e...
متن کاملCombining Logic Systems: Why, How, What For?
The practical significance of the problem of combining logics is widely recognized, namely in knowledge representation (within artificial intelligence) and in formal specification and verification of algorithms and protocols (within software engineering and security). In these fields, the need for working with several calculi at the same time is the rule rather than the exception. For instance,...
متن کاملCombining linear-time temporal logic with constructiveness and paraconsistency
Article history: Received 15 July 2008 Accepted 9 June 2009 Available online 12 June 2009
متن کاملExecutable Temporal Logic for Interactive Systems
We propose a new paradigm in executable logic, tha t of the declarative past and imperative future. A future statement of temporal logic can be understood in two ways: the declarative way, tha t of describing the future as a temporal extension; and the imperative way, tha t of making sure tha t the future will happen the way we want it. Since the future has not yet happened, we have a language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1996
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040046087